<!DOCTYPE html PUBLIC '-//W3C//DTD XHTML 1.0 Transitional//EN' 'http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd'>
<html xmlns='http://www.w3.org/1999/xhtml'>
<head>
<title>user_menu_cmd</title>
<meta name='robots' content='noindex,nofollow' />
<meta name='generator' content='GLOBAL-6.5.7' />
<meta http-equiv='Content-Style-Type' content='text/css' />
<link rel='stylesheet' type='text/css' href='../style.css' />
</head>
<body>
<pre>
<span class='curline'><a href='../S/src--editor--edit.c.html#L1780'>user_menu_cmd</a>    1780 src/editor/edit.c     if (user_menu_cmd (edit, menu_file, selected_entry)</span>
<span class='curline'><a href='../S/src--filemanager--cmd.c.html#L1290'>user_menu_cmd</a>    1290 src/filemanager/cmd.c     (void) user_menu_cmd (NULL, NULL, -1);</span>
<span class='curline'><a href='../S/src--usermenu.h.html#L22'>user_menu_cmd</a>      22 src/usermenu.h gboolean user_menu_cmd (const WEdit * edit_widget, const char *menu_file, int selected_entry);</span>
</pre>
</body>
</html>
